-
1 формальный вывод
Большой англо-русский и русско-английский словарь > формальный вывод
-
2 formal inference
Большой англо-русский и русско-английский словарь > formal inference
-
3 formal inference
Англо-русский словарь технических терминов > formal inference
-
4 formal inference
-
5 formal inference
English-Russian dictionary of computer science and programming > formal inference
-
6 formal inference
-
7 formal inference
-
8 formal deduction
Англо-русский словарь по исследованиям и ноу-хау > formal deduction
-
9 formal derivation
Англо-русский словарь по исследованиям и ноу-хау > formal derivation
-
10 formal inference
Англо-русский словарь по исследованиям и ноу-хау > formal inference
-
11 analogical inference
English-Russian dictionary of Information technology > analogical inference
-
12 formal inference
-
13 analogical inference
-
14 inference
вывод, заключение -
15 formal inference
The English-Russian dictionary general scientific > formal inference
-
16 formal
1. n амер. разг. мероприятие, на котором участники должны быть в вечерних туалетахformal dress — одежда для торжественных вечерних приёмов; фрак; длинное вечернее платье
2. a выполненный по установленной форме, в соответствии с этикетом; надлежаще оформленныйformal charge — обвинение, предъявленное с соблюдением необходимых формальностей
3. a вечерний; парадный, предназначенный для торжественных приёмовthe etiquette governing the setting of a table for a formal dinner — правила сервировки стола для официального обеда
4. a официальный; сухой5. a формальный, сделанный для проформы6. a формальный, формалистический7. a внешний, поверхностный; кажущийся8. a относящийся к форме; облекающий сущность в определённую форму9. a правильный, симметричный; строго распланированныйСинонимический ряд:1. academic (adj.) academic; conformal; conforming; conformist2. ceremonial (adj.) ceremonial; ceremonious; courtly; decorous; liturgical; orthodox; polite; proper; ritual; sententious; solemn; stately3. conventional (adj.) conventional; customary; prescribed; standard4. definite (adj.) definite; lawful; legal5. dressy (adj.) dressy; fancy-dress; full-dress6. explicit (adj.) explicit; express; official; stodgy; strict7. fixed (adj.) fixed; methodical; regular; rigid; rigorous; rigourous; set8. nominal (adj.) nominal; so-called; titular9. prim (adj.) precise; prim; punctilious; reserved; starched; stiff; stilted; stuffyАнтонимический ряд:casual; comfortable; common; customary; easy; general; habitual; illegal; inadequate; incomplete; incorrect; informal; irregular; normal; ordinary; relaxed; unusual -
17 grammatical inference
-
18 immediate inference
-
19 propositional inference
-
20 inference
рассуждение; логический вывод
- 1
- 2
См. также в других словарях:
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
ЕСТЕСТВЕННЫЙ ЛОГИЧЕСКИЙ ВЫВОД — формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по… … Математическая энциклопедия
Центростремительное ускорение — Эту страницу предлагается объединить с Центростремительная сила. Пояснение причин и обсуждение на странице Википедия:К объедин … Википедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… … Большая биографическая энциклопедия
СМИРНОВ — Георгий Лукич (р. 14.11.1922, хутор Антонов Октябрьского р на Волгоградской обл.), сов. философ и парт. деятель, чл. корр. АН СССР (1981). Чл. КПСС с 1943. Окончил в 1950 Саратовскую парт. школу, в 1952 историч. факультет Волгоградского… … Философская энциклопедия
СМИРНОВ Владимир Александрович — (2.03.1931, Москва 12.02.1996, Москва) логик и философ, д р философских наук, проф. Окончил философский ф т МГУ (1954) и аспирантуру того же ф та по кафедре логики (1957). С 1961 г. в Ин те философии АН СССР (РАН), с 1988 г. руководитель… … Русская Философия. Энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… … Философская энциклопедия